f : I64, I64 ->
f = 0

f
